switcher: Remove some unused variables

diff --git a/js/ui/altTab.js b/js/ui/altTab.js
index cee81b0e10d13b78ce571d75ac73e6d6d63ac54d..7d90ac530794762a90279c5892197e1f25a5651e 100644 (file)
--- a/js/ui/altTab.js
+++ b/js/ui/altTab.js
@@ -81,7 +81,6 @@ const AppSwitcherPopup = new Lang.Class({
             let leftPadding = this.actor.get_theme_node().get_padding(St.Side.LEFT);
             let rightPadding = this.actor.get_theme_node().get_padding(St.Side.RIGHT);
             let bottomPadding = this.actor.get_theme_node().get_padding(St.Side.BOTTOM);
-            let vPadding = this.actor.get_theme_node().get_vertical_padding();
             let hPadding = leftPadding + rightPadding;
 
             let icon = this._items[this._selectedIndex].actor;

diff --git a/js/ui/switcherPopup.js b/js/ui/switcherPopup.js
index 24ad27904cec6da210af3579ad9b41090f1535a4..ae7bc77146b8280768eae57681f636f7a193f1c8 100644 (file)
--- a/js/ui/switcherPopup.js
+++ b/js/ui/switcherPopup.js
@@ -87,8 +87,6 @@ const SwitcherPopup = new Lang.Class({
 
         let leftPadding = this.actor.get_theme_node().get_padding(St.Side.LEFT);
         let rightPadding = this.actor.get_theme_node().get_padding(St.Side.RIGHT);
-        let bottomPadding = this.actor.get_theme_node().get_padding(St.Side.BOTTOM);
-        let vPadding = this.actor.get_theme_node().get_vertical_padding();
         let hPadding = leftPadding + rightPadding;
 
         // Allocate the switcherList